Hartree-Fock model, reduced Hartree-Fock model, thermodynamic limit, crystalline lattices, Bloch waves