Bons préordres sur les arbres associés à des ensembles inévitables et preuves de terminaison de systèmes de réécriture — Laurence Puel