Théorème de Gelfand–Naimark