Enviar aquest missatge de text: Completion of probabilistic normed spaces