complétude de definition des fonctions du module