  In this note, we establish a version of the local Cauchy-Crofton formula for
definable sets in Henselian discretely valued fields of characteristic zero. It
allows to compute the motivic local density of a set from the densities of its
projections integrated over the Grassmannian.
