* KBO complet avec précédence
* factoring ordonné
* subsomption indexée
* index discrimination tree
