Las ventas de ordenadores descendieron un 6,2% en 2016, según Gartner