Modification du parser pour reconnaitre correctment les contraintes