Ajout fonction pour controler les invariants