Parsage des termes à peu près fini : code en double factorisé, migré au bon endroit. Maintenant on a un ensemble d'égalités de la forme (t1ID, t2ID) => à tester mais marche a priori