Arbre compact de Isabelle FONTEINE