Les prix dans la grande distribution étendue ont augmenté de 1,2% sur un an en octobre 2025