Le départ du Sénégal, une étape de plus dans le désengagement de l'armée française en Afrique