Le lemme de l'étoile des langages réguliers

On présente ici le lemme de l'étoile, qui est l'outil le plus couramment utilisé pour démontrer qu'un langage n'est pas régulier. Notations.