BUG + ajout de contraintes non utilisées