[Tutti-commits] 08/08: Retour sur develop pour intégrer les autres tickets avant release Merge branch 'feature/8242' into develop