Scende sul mercato Gartner, che soffre con un calo del 3,96%.