Google a calculé cent mille milliards de décimales de Pi, un nouveau record !