Non-equilibrium formalism