4.1. QED Hartree-Fock