Quantumelectrodynamics, vacuum polarization, Dirac equation, Hartree-Fock model, semi-linear evolution equations