Arbre compact de Pierre Joseph Benoit HARDEMAN