[Tutti-commits] 04/04: fixes #7083: [PROTOCOLE] modification d elibellés Merge branch 'feature/7083' into develop