For a local field F with finite residue field of characteristic p, we describe completely the structure of the filtered) and G = Gal(K|F). As an application, we give an elementary proof of Serre's mass formula in degree p. We also determine the compositum C of all degree-p separable extensions with solvable galoisian closure over an arbitrary base field, and show that C is K( p E q −c(E) = n.