Mentions légales du service
mkdocs: rendre les #4149 comme liens vers les issues gitlab
En particulier pour #3894. Vraisemblablement par un plugin custom. https://www.mkdocs.org/user-guide/plugins/
issue