PGCD par soustractions

Calcule le PGCD de `a` et `b` (entiers > 0) par soustractions successives : tant que a ≠ b, on remplace le plus grand par la différence. Renvoie le PGCD.

signature : pgcd_soustraction(…)