France : la production industrielle en recul en octobre