TODO notes.

TODO

@@ -2,6 +2,10 @@
   pour pouvoir afficher les tokens sous forme plus lisible
   et auto-générer une fonction (ou une table) print_terminal
 
+* autoriser %token FOO (unused)
+  (syntaxe concrète à déterminer)
+  équivalent à --unused-token FOO sur la ligne de commande.
+
 * BUG: --infer does not work when a non-terminal begins
   with a lowercase letter (Maxime Dénès).
 
@@ -74,7 +78,9 @@
   Possibilité de coloriser ce qu'on a lu en indiquant ce qu'on a compris
   (sortie HTML).
 
-* Test and document --lalr (maybe).
+* Test and document --lalr (maybe). Explain that it is (probably)
+  incompatible in principle with --explain. Modify the code to fail
+  gracefully when the problem arises.
 
 * Tenter une minimisation a posteriori de l'automate. Sur la grammaire
   OCaml on devrait retrouver l'automate LALR, non?