The pseudowords in a finitely generated free profinite aperiodic semigroup
are faithfully represented by labeled linear orders induced by the factorizations of the pseudowords.

We address the problem of knowing which labeled linear orders are in the image of this representation (This is joint work with Jorge Almeida, José Carlos Costa and Marc Zeitoun).