Un implémentation de l'algorithme d'unification en Haskell