Calcul du degré de f, et du système linéaire vérifié par les coefficients de f dans gosper.ml. Attention, il y a un bogue dans find_a_solution