Thom's first isotopy lemma: a semialgebraic version, with uniform bounds(Real Singularities and Real Algebraic Geometry)