  An overview on various results concerning the Dirac-Fock model, the various
variational characterization of its solutions and its nonrelativistic limit. A
notion of ground state for this totally unbounded is also defined.
