Microsoft despide a 9,000 empleados en nueva ola de recortes.