Arbre compact de Isabelle DEROU