展开 塞内加尔是哪个国家的殖民地呢