défi sur la bijection la plus "belle"
bon évidement c'est subjectif mais par exemple
des conditionnelles seraient "plus moches" qu'une longue formulation sans conditionnelles
écrire la bijection
formellement
i.e. le groupe multiplicatif des matrices carrées d'ordre 2 dont le déterminant est 1
on vérifie
_________________________
remarque
en ce qui concerne l'ensemble quotient
à chaque élément de
deux droites du plan affine
on obtient

