Théorème de Haag–Lopuszanski–Sohnius