The notions of tame and wild ramification lead us to make the following definition.Definition. The quotient field extension of an extension of discrete rank one valuation rings is said to be fiercely ramified if the residue class field extension has a nontrivial inseparable part.