Merge branch 'develop' of gitlab.lam.fr:jdev/jdev-boarding into develop

4 jobs for develop in 2 minutes and 51 seconds (queued for 7 seconds)
latest