Décomposition de l'équivalence d'homotopie et unicité