Je commence à me demander si tout ces trucs d'arbres (splay tree?) pourraient pas être remontés dans un module à part:
1- ça simplifierait le module courant
2- ça permettrait de pouvoir les réutiliser