Arbre compact de Isabelle MOREEL