We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a p-adic eld, together with relevant arithmetic information about the elds generated by ...