Record : 100 000 milliards de décimales calculées pour le nombre Pi