Zone euro-La production industrielle progresse comme prévu en octobre