ajout tests contraintes