Paramettrage de Entiermod par deux module.
Ceci permet d'abstraire l'utilisation de Entier dans Entiermod
Et ainsi permettre l'utilisation de Big_int a la place de Gdnb
sans modifier Entiermod mais seulement Entier et les module type
SigEntier et MakeEntier.