Arbre compact de Isabelle ?