法国结束在塞内加尔军事行动