Sénégal: l'industrie extractive, pétrole et gaz, booste la croissance