Ajout d'une clause throws à Combinator.applyReduction pour la définition de combinateurs