Dans la première partie de cet exposé je décrirai le modèle linéaire de Schrödinger permettant de modéliser les électrons quantiques au sein des atomes et molécules. Puis je présenterai ses approximations non linéaires, en particulier les modèles de Thomas-Fermi et Hartree-Fock, avant de discuter de leur validité dans certains régimes.Dans la seconde partie je parlerai d'un nouveau résultat concernant la construction de solutions non linéaires des équations Hartree-Fock par des techniques de type min-max.