Parseur pour la logique d egalite. Un conflit a regler.