Topologie générale : CHAPITRE IX : UTILISATION DES NOMBRES RÉELS EN TOPOLOGIE GÉNÉRALE - Bourbaki, Nicolas (Hermann et Cie Editeurs, 1948)