modifications apportées pour la coloration syntaxique
possibilité d'ajouter des codes de terminaux