Merge branch 'develop' of gitlab.math.unistra.fr:boileau/nbcourse into develop

1 job for develop in 1 minute and 54 seconds (queued for 21 seconds)