Les prix dans la grande distribution étendue ont augmenté de 12,6% sur un an en juillet 2023