Arbre compact de Jean Joseph LEDIEN