(English) Computer-assisted proofs for nonlinear equations: how to turn a numerical simulation into a theorem.