../ history.txt 27-Jul-2025 19:35 3056 xlop-doc-fr.pdf 27-Jul-2025 19:35 389668 xlop-doc-fr.tex 27-Jul-2025 19:35 108183 xlop-doc.pdf 27-Jul-2025 19:35 369408 xlop-doc.tex 27-Jul-2025 19:35 95770