Variétés de langages formels — Jean-Éric Pin