Hartree-Fock, crystal, defect, thermodynamic limit