  After a short review of the historical milestones on normal numbers, we
introduce the Borel numbers as the reals admitting a probability function on
their different bases representations. In this setting, we provide two
probabilistic characterizations of normality based on the stochastic
independence of their digits. Finally, we define the pseudonormality condition,
which is satisfied by normal numbers and may be evaluated in a finite number of
steps.
