Costruzione Gelfand–Naimark–Segal