Arbre compact de Paul GRUSON