Preuves de terminaison de systèmes de réécriture fondées sur les interprétations polynomiales. Une méthode basée sur le théorème de Sturm Jocelyne Rouyer — 1991 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications