Définitions de l'homologie et des applications homotopiques (comme l'isomorphisme d'homologie de l'équivalence homotopique)