Les prix dans la grande distribution étendue ont grimpé de 13,8% sur un an en juin 2023