French troops leave Senegal