Fini subsection définition de l'isomorphisme