KL-inequality for definable maps

We state and prove a version of Kurdyka-Lojasiewicz inequality for a mapping definable in an o-minimal structure, with values in $\R^k$, $k>1$. It implies a uniform bound for the measure of submanifolds transversal to the fibers.