  We give a first-order definition of key polynomials, we show the links with
previous definitions, that it is relevant to study key degrees, and to use a
kind of valuations that we call partially multiplicative. We also prove or
reprove several properties.
