Un langage algébrique non-générateur.