Émile_Borel loading ...