Arbre compact de Auguste Joseph Petit