Non, personne n'a prouvé que pi contient toutes les suites de chiffres — Anecdota