doc/dev-{algo,client,server}.md: converted and split from dev.org
see #3932
pandoc --wrap=preserve --atx-headers -s -r org doc/dev.org -t gfm > doc/dev.md
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
see #3932
pandoc --wrap=preserve --atx-headers -s -r org doc/dev.org -t gfm > doc/dev.md