IBM atteint 12 300 milliards d'opérations à la seconde