Méthodes typiques : utilisation de la technique d'élimination polynomiale