Les prix dans la grande distribution ont augmenté de 8,4% sur un an en octobre 2023