lemme d'itération pour les langages algébriques

concept lemme donnant une condition de répétition nécessaire pour les langages algébriques

Aussi : lemme de Bar-Hillel, Perles et Shamir