Oeuvres de Emil Borel - Borel, Emile