TODO update.

TODO

 * About --list-errors and --interpret-error and --compile-errors and --compare-errors:
   document these options
     explain that any production that contains [error] is ignored by --list-errors
-    should --list-errors also print the sentence in concrete form?
+    should --list-errors also print the sentence in concrete form? (as a comment)
       requires knowing the concrete form of every token
   document the .messages file format
   document the workflow
@@ -20,7 +20,8 @@
 
 * Dans les avantages de Menhir versus ocamlyacc (dans la doc et
   sur la page Web), ajouter le back-end Coq, l'API incrémentale
-  et l'API d'inspection, les règles anonymes...
+  et l'API d'inspection, les règles anonymes, la gestion fine des
+  erreurs de syntaxe...
 
 * BUG dans ErrorReporting si l'erreur se produit dans l'état
   initial. Pénible que l'API d'inspection ne donne pas accès