Divisibilité, PGCD et Bézout