Algorithme d'Euclide pour le PGCD

Propriété 14.8.1   Pour tous $a$ et $b$ relatifs,

• $pgcd(a, 0) = a$
• $pgcd(a, b) = pgcd(b, a\ mod\ b)$