Pétrole : l'Algérie double ses exportations vers l'Espagne