Remove a TODO item.

TODO

@@ -144,10 +144,6 @@
   les paramètres effectifs sont toujours des atomes (symboles terminaux ou
   non-terminaux), non? (Jacques-Henri.)
 
-* %inline pourrait-il fonctionner quand les productions à inliner ont un %prec?
-    (ça aurait un sens au moins quand on inline dans une production unité?)
-    (ou plus généralement quand on inline en dernière position?)
-
 * Reconnaître les directives # n "foo" dans le fichier .mly et en tenir
   compte dans les locations.