Voila pour l'autre possibilité.
Si y<x c'est à dire si x-y>0
Alors, on multiplie x par n ce qui nous donne x*n
Ensuite, on soustrai n fois (x-y) à x*n ce qui nous donne x*n - n*(x-y)
Enfin, on divise par n la totalité ce qui nous donne [x*n - n*(x-y)]/n
Et après calcul, on constate qu'on arrive bien à y. En effet:
[x*n - n*(x-y)]/n = (x*n)/n - [n*(x-y)]/n = x - (x-y) = y
On passe donc de x à y en +1+(x-y) +1= (-y+x+2) étapes si y>x.
Je ne suis pas sur de ce que j'ai mis en gras...