Les 20000 premières décimales du nombre pi