Arbre compact de Honorine de Gruson