gmp_gcd( ) calcule de PGCD (plus grand commun diviseur ) de a et b . Le résultat est toujours positif , même si l' un des deux (ou les deux ) nombres est négatif .