Arbre compact de Benoit Joseph DEVRIENT