Arbre compact de Pierre Joseph Petit