Types in valued fields with coefficient maps

We transpose Delon's analysis of types in valued fields to unramified hense lian valued fields of mixed characteristic, by using coefficient maps of or der n. This yields the Ax-Kochen-Ershov transfer principle for the independ ence property in this class of valued fields.