Arbre compact de Isabelle DEBERT