Types dans les corps valués munis d'applications coefficients

We transpose Delon’s analysis of types in valued fields to unramified henselian valued fields of mixed characteristic, by using coefficient maps of order n. This yields the Ax-Kochen-Ershov transfer principle for the independence property in this class of valued fields.