Application des contraintes aux instructions