Note sur les espaces métriques complets N. Wedenissoff — 1930 Journal de Mathématiques Pures et Appliquées