Arbre compact de Isabelle CUEFF