Analyse et formalisation des contraintes