Ajout de la signature du module Entier.
Correction Entier.
Correction signature dans Entier.
Ajout d'une fonction modulo dans Entier.
Problème avec entierMakeSpec dans Entiermod.ml
ras.
Renommage de la spec. de EntierMake.
Merge branch 'Entier' into Entiermod

Conflicts:
	Entier.ml
Correction du conflit.
type t = Gdnb.gdnb obligatoire
Correction du problème de Spec.
Correction du problème de module type ENTIERMAKE.
Merge branch 'Entier' into Entiermod

Conflicts:
	Entier.ml
Amélioration du code de Entier.ml et mise a jour du code du
fichier de test.
Merge branch 'Entier' into Entiermod
Ajout des opérations +, - et * dans Entiermod.
Ajout d'un fichier de test pour le module Entiermod.
Ajout de la puissance et d'inverse modulo dans Entiermod et mise
a jour du fichier test.
Retrait de quelques opérations afin de mieux répondre au sujet.
Merge branch 'Entiermod'