Spécification des arbres binaires

Barrière d'abstraction des arbres binaires.