Arbre compact de Isabelle WARYN