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