Arbre compact de Romain Joseph HARDEMAN