unifier (V) — unification (N)
unification : Action d'unifier ou résultat de cette action.