The formulas for the coefficients of the sum and product of p-adic integers with applications to Witt vectors
On montre que tout anneau local régulier complet muni d’une valuation de rang peut être plongé, en tant qu’anneau valué, dans un anneau de séries de Puiseux généralisées.