Las ventas de ordenadores descendieron un 2,8% en 2017, según Gartner