../ coloredbelts-doc-en.pdf 25-Jun-2025 17:00 489057 coloredbelts-doc-en.tex 25-Jun-2025 17:00 7605 coloredbelts-doc-fr.pdf 25-Jun-2025 16:58 485304 coloredbelts-doc-fr.tex 25-Jun-2025 16:58 8483