début de la partie sur la réduction polynomiale