Résolution algébrique de système-calcul_formel