Pétrole algérien : hausse historique des exportations vers la France