Electron-positron field, Dirac-Fock equations, Mittleman's variational principle