Définition du théorème d'élimination : éliminer les paramètres par des équations algébriques