contraintes vérifications Synonym