microsoft enterre en partie la marque nokia