https://123dok.net/document/y8gpgojr-généralization-critère-boulier-buchberger-ensembles-caractéristiques-idéaux-différentiels.html