*** Welcome to piglix ***

Schützenberger theorem

...