c'est reconnaissable par un automate fini mais pas "de manière compacte", alors qu'avec une grammaire hors contexte, si