diveucl:Division euclidienne
testbezout:Bezout
testcong:Test congruence
testeqmult:Equation dans Z
testgauss:Lemme de Gauss
testlinmod:Equation linaire modulaire
testmultdiv:Multiple;diviseur
