Mise au propre des def et contraintes