algorithme d'Euclide avec les polynômes

Le principe est le même que pour l'algorithme d'Euclide utilisé avec les entiers naturels.

La dernière relation obtenue est une relation de Bezout