position de \appendix, correction des \begin{macrocode} et \end{macrocode} + checksum
ajout de </code> (pas indispensable, mais tjr utile