Arbre compact de Pierre Auguste CHOQUET