Théorème de Hohenberg-Kohn