Arbre compact de Charles Petit