pi est peu différent de 22/7 !
Dresser la liste des 100 décimales de pi SVP ?