Residual fields in valuation theory.