La production avec pdflatex a permis d'identifier des hétérogénéités de rédaction dans la documentation.
pdflatex