Gartner: mercato Pc mondo a -10,6%