passage de contraintes binaires à contraintes naires