Factorisation d'un polynôme dans IR