MILITARY INTERVENTION IN MALI