Arbre compact de Isabelle WECSTEEN