La production industrielle augmente en octobre dans la zone euro