Définition de la carte d'homotopie et de l'équivalence d'homotopie