David Gawen Champernowne et les nombres normaux

Le statisticien anglais David Gawen Champernowne est né le 9 juillet 1912.
Il est connu pour ses travaux sur les nombres normaux: nombres réels dont les chiffres apparaissent tous à la même fréquence.
On lui doit aussi le nombre de Champernowne 0,1234567891011121314151617... qui contient dans son développement décimal la concaténation de tous les nombres naturels. Ce nombre est normal en base 10, mais il ne l'est pas dans certaines autres bases. De plus c'est un nombre univers en base 10.