Merge branch 'dev-boileau' of gitlab.math.unistra.fr:groupe-calcul/website into dev-boileau