#<1> Ajout des interfaces nécessaire pour la spécification des arbres.