$pgcd$

Définition 14.3.1   Le plus grand commun diviseur de $a$ et $b$, noté $pgcd(a, b)$ est le plus grand nombre qui divise à la fois $a$ et $b$.