A characterization of real Hilbert spaces using the Bochnak complexification norm | Publicación