Dirac-Coulomb operator, Dirac-Fock theory, electron-positron field