Arbre compact de Jean Petit