Arbre compact de Benoit Leonard DEVOS