Divisibilité dans Z, PGCD et PPCM