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