La Norvège a exporté pour 13 milliards d'euros de gaz en juillet, un nouveau record