El formalisme de Gupta-Bleuler