Augmentation de la production industrielle de 2,3 % dans la zone euro, au mois de juillet