Arbre compact de Isabelle LEYS