  A finite separable extension of a field is called primitive if there are no
intermediate extensions. The most interesting primitive extensions of a local
field with finite residue field are the wildly ramified ones, and our aim here
is to parametrise them in a canonical manner.
