Après un léger repli en avril, la production industrielle est repartie à la hausse au mois de mai.