3σ∞(v) désigne le mot vxσ(x)σ2(x)… qui est un point fixe de σ si σ(v) = vx avec x non vide.