fonction upg( t1, t2: termes) rend l'upg de t1 et t2 ou echec
    si t1 = t2 alors  rendre(substitution vide) finsi
    si t2 est une variable alors permuter t1 et t2 finsi
    si t1 est une variable alors
        si t2 contient t1 alors rendre(echec)  /* test d'occurrence */
        sinon rendre({ t1 <-  t2 }) finsi
    sinon