Update dev branch (master should be deleted afterward)

À ma dernière MR, j'avais pas fait attention que la branche cible est la master par défaut, alors que désormais ce devrait être la dev. On peut donc merger master dans dev, puis supprimer la branche master.