cleaning up
Ajout d'un union-find pour calculer les classes d'équivalences.
Modification de la structure des lts.