Code généré par JFLEX