Oeuvres de Emile Borel. - Borel, Emile, 1871-1956 (Editions du Centre national de la recherche scientifique, 1972)