Bon ça va faire une heure et demi que ça calcule sa base de gröbner et ça vient toujours pas