un \end{document} inopportun