Les prix dans la grande distribution étendue ont augmenté de 7,2% sur un an en novembre 2023