correction commentaire avec un titre en trop pour la class text, causant un bug dans la sortie latex (pour l'instant non détecté par le générateur latex)
correction commentaire avec un titre en trop pour la class text, causant un bug dans la sortie latex (pour l'instant non détecté par le générateur latex)


git-svn-id: e7e61699ce1738538ffebb75374fbea0924bc775@4792 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

yunxing/ocaml,msprotz/ocaml,eliberis/ocaml,yunxing/ocaml,eliberis/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,chambart/camlp4,msprotz/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,msprotz/ocaml,hhugo/camlp4,eliberis/ocaml,eliberis/ocaml,msprotz/ocaml,yallop/camlp4,yunxing/ocaml