Arbre compact de Benoit Joseph HARDEMAN