PGCD et théorème de Bézout