Renommage de la spec. de EntierMake.
Correction du problème de module type ENTIERMAKE.
Amélioration du code de Entier.ml et mise a jour du code du
fichier de test.