Il existe 2 types d’unification qui sont les unifications régulières et les unifications irrégulières. On parle d’unification régulière lorsque cette dernière à lieu toutes les semaines et d’unification irrégulière lorsque celle-ci n’est pas hebdomadaire. Les unifications régulières Les unifications régulières…