France : la production industrielle progresse fortement en juin, selon l'Insee