Zone euro : +0,3% de production industrielle en juillet