Analyse des méthodes d'unification - Rimaboschi, Massimiliano