Indices des prix à la production: octobre 2017