Arbre compact de Isabelle DEGROOTE