Arbre compact de Isabelle DECOBERT