Arbre compact de Pierre Romain Lardant