Espagne: record historique des exportations de gaz naturel vers la France via les Pyrénées