Démo de l'algorithme d'unification