Arbre compact de Isabelle VERSCAGHE