Calcul littéral : Comment factoriser un polynôme ( au maximum ) ?