Armée de terre sénégalaise