Ah ouais si c'est juste la congruence je connaissais depuis la terminale. Mais là le prof avait présenté ça façon algèbre abstraite, en nous parlant de relation d'équivalence, de quotient, de surjection canonique, de diagramme qui commute... Rien de compliqué en fait, mais au début quand t'as pas vu trop d'exemples, c'est un peu déroutant.