Arbre compact de Pierre Joseph BOREDT