fini c'est bon car Z/nZ est fini de cardinal n, Mq (Z/nZ,+) est monogene, sa revien à montrer que Z/nZ = Cl(m) en effet une est trivial, car on sait que < Cl(m)> est le plus petit groupe contenat Cl(m) donc Cl(m) est inclu dans Z/nZ pour l'autre inclusion sa revoi à montrer que pour tou Kde Z/nZ il existe a tels que k=am, le fait que m et n sont premiers entre eux nous permetra de trouver une relation entre eux .... Bezout est c'est fini