Neuf tirailleurs sénégalais quittent la France, après une longue bataille administrative