Arbre compact de Thomas de Gruson