Arbre compact de Claude Pierre DUMONT