Văn bản này: Completion of probabilistic normed spaces