Sade, Quasigroupes parastrophiquesDefinition 1.1. Le conjoint du quasigroupe Q ( x ) est le quasigroupe C( -3c )[9, p. 601 dont la loi de composition est ddfinie par x x y = z + y * x = z .Si Q est fini, la table de CAYLEY de C derive de celle de Q par rabattement autour de la diagonale principale. Un quasigroupe self-conjoint est un quasigroupe commutatif. Definition 1.2. Le rdciproque de Q ( x ) est le quasigroupe R (0) [ 14, No 103, p. 131 ddfini par la division k droite x x y = 2 + 2 0 y = x. Definition 1.3. On peut dire que l'opdration (0) ddfinit le quotient gauche sur Q. U n quasigroupe est self-rdciproque s'il coancide avec son rdciproque. Si, it tout element (x, y ) de l'ensemble produit Q 2 , on fait correspondre le ((point)) dont les coordonnkes cartksiennes sont x, y , z, avec z = x x y , on obtient une representation gkometrique de Q au moyen d'un ensemble de points. Le rkciproque de Q correspond a un ensemble symetrique du premier par rapport au plan bissecteur du dikdre x o y z . Definition 1.4. L a division u gauche x x y = z~z @ x = y , fournit le quotient a droite sur Q. Les quasigroupes dont les opehtions sont ( * ), (@), et (0) sont dits parastrophiques de & ( x ) . Dkfintion 1.5. Les deux dernibres parastrophies correspondent nux opdrations (0) et (@), de'jinies par x x y = z + x o x = y , x X y = z + y @ Z = x .A chaque parastrophie correspond une permutation des coordonnkes x , y , z ; l'ensemble des six parastrophies est donc isomorphe au groupe symhtrique G'zyz . Comme celui-ci est engendre par deux de ses transpositions, on a la remarque suivante. Remarque 1.6. Toute propridtd d'un quasigroupe qui appartient simultandment au conjoint et a u rdciproque sera vraie de tous ses parastrophiques. Definition 1.7. Une expression sur Q est une suite d'dldments de Q , sdpards par les signea des six parastrophies ( X , 3c , 0, 0, 0, 0) et par un syst4me ddtermind de parenthhea, crochets et accolades . . . etc. Elle dkfinit une suite de calculs i L effectuer dans un ordre bien determine et dont le resultat final est un klement du quasigroupe. Deux expressions sont dgales si elles definissent le meme element.