preuve de polynomialité avec Gröbner