Un astronome chinois a détenu le record de pi pendant 900 ans — Anecdota