FROM GALOIS TO HOPF-GALOIS THEORY: classical Galois theory, torsors of algebraic geometry, crossed products, strictly exact sequences of Hopf algebras, Hopf bi-Galois extensions, induced representations