PGCD, théorèmes de Bezout et Gauss