Sénégal : où en est la Grande muraille verte, ce mur végétal censé traverser l'Afrique ?