TODO entry.

TODO

@@ -208,7 +208,8 @@
 
 * Permettre une trace avec autre chose que fprintf stderr. Cela permettrait
   au programmeur (par exemple) de décider à runtime s'il veut afficher ou
-  non la trace.
+  non la trace. (En mode --trace.) Et si possible, donner accès depuis
+  l'extérieur à la fonction print_token qui est engendrée.
 
 * (petit) BUG: --follow-construction n'affiche pas le contenu des états
   initiaux (r0)