TODO.

TODO

@@ -120,6 +120,13 @@
   Ou alors, exposer juste le symbole de départ correspondant?
   Mais comment le retrouver?
 
+* Allow %token PLUS "+"
+  as a definition of "+" as syntactic sugar for PLUS
+  (Check what Bison allows, and follow it.)
+  This could be desugared on the fly in the fancy parser
+  (although it would then be impossible to print the sugared grammar).
+  (Suggested by Perry Metzger.)
+
 * autoriser %token FOO [@unused]
   équivalent à --unused-token FOO sur la ligne de commande.
   Add an analogous mechanism for nonterminals that are known