  We present a new method to propagate $p$-adic precision in computations,
which also applies to other ultrametric fields. We illustrate it with many
examples and give a toy application to the stable computation of the SOMOS 4
sequence.
