les ensembles [|0,n-1|] et Z/nZ ont le meme cardinal. et on pour tous r1 =<n et r2=<n : classe r1 = classe r2 <=> r1=r2 (facile a demontrer et c'est en fait la remarque de darkpseudo) donc f est injective <=> f est bijective.
sinon cava darkpseudo ?? si tu me souviens,reponds moi par MP =)