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