Ce polynôme est un polynôme à coefficients complexes, mais on sait qu'il a une racine réelle.