Théorie des variétés : topologie et théorie de l'homotopie