Arbre compact de Isabelle TORREEL