Hartree-Fock, fermions, mean-field limit, Egorov theorem, Coulomb interaction