salut ptit soeur
b a il fau corrige ton enonce car l'aplication f fai corr^pendre le couple(x.y)a (x-1y)
d'apor tu demontre que cette application est bien defini en suite tu prend (x'.y')#((x.y) et tu deùontre que f(x'.y')#f(x.y)
ee "l injection"t on a la surjectife par construcion c evidente
et apres tu deduei que c 'est une bijection