synthèse des contraintes Synonym