Arbre compact de Isabelle BARDEL