L'indice de production industrielle en hausse de 9,4%