Arbre compact de Isabelle DECROIX