Ajout de quelques fonctions utiles dans le module.
Merge branch 'Entier' into Entiermod
Ajout d'autres fonctions utiles.
Merge branch 'Entier' into Entiermod
Ajout de quelques fonctions utiles.
Ajout d'une fonction create pour creer un nombre dans Z/nZ.
Typage fort pour Entiermod.
Un typage fort pour Entier.
Merge branch 'Entier' into Entiermod
Typage fort pour Entiermod.
Correction de la fonction ofString.