Suppression de gdnb.mli
Empechant la compilation et l'utilisation de #load "gdnb.cmo";;
modification de polymod et entiermod pour que le module en paramettre de polymod soit un entiermod