Arbre compact de Isabelle DEVASSINE