In this paper one obtains a method to generate random numbers whose the randomness is proved. In this aim, one transforms data resulting from electronic files. One can also datas provided by machines. The randomness is proved by mathematical theorems and logical reasoning. This method can be applied directly in computers in the same way that the function "random". In this case, it required neither chips nor machines: one transforms the data provided by the electronic files. It can be also applied with the machines and the chips. In this case one transforms the random noises which they provide. Of course, one can also transform the majority of the noises which exists. Then, one obtains really independent sequences contrary to the current methods which often are satisfied to remove the linear correlation. Moreover that can put a stop to certain malfunctions of the machines or of the chips.