France: la production industrielle recule de 0,1% en mai, selon l’Insee