Brillante rialzo per Gartner, che lievita in modo prepotente, con un guadagno del 9,59%.