This volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, starting from a microscopic model. It is intended to be self-contained. Those proofs that can be found only in research papers have been included, whereas results for which the proofs can be found in classical textbooks are only quoted.