Définition et propriétés fondamentales de l'homotopie