Contraintes implicites et explicites