problèmes sous contraintes