[Tutti-commits] 02/02: fixes #6931: [TECH] erreur après avoir supprimé un protocole Merge branch 'feature/6931' into develop