Industrie : Hausse de 0,3% des prix à la production en octobre