Méthodes d'unification par surréduction — Pierre Rety