Low temperature Gibbs states, discrete spin lattice models of Kac Ising type, restricted ensembles with low density constraints, cluster expansion, contours, Pirogov-Sinai theory