On the computational content of the axiom of choise door S. Berardi