1 ressource : plus grand commun diviseur (PGCD) de deux polynômes