Transitivité de la congruence et existence des éléments inverses