Las ventas de ordenadores descienden un 4,3% en el segundo trimestre, según Gartner