ajout des dernieres fonctions de verif' dans le modelController