latex stat : fix the latex generated for the head of the pages after the first one.
latex stat : fix the latex generated for the head of the pages
after the first one.

ssaavedra/why3,jpdeplaix/why3,douglas-larocca/why3,douglas-larocca/why3,jpdeplaix/why3,ssaavedra/why3,ssaavedra/why3,douglas-larocca/why3,jpdeplaix/why3