Une caractérisation des ensembles sofiques

On demontre que tout ensemble sofique transitif est l'ensemble des facteurs d'un sous-monoide tres pur. On donne une application a un probleme de codage