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.