  We prove a triangulation theorem for semi-algebraic sets over a p-adically
closed field, quite similar to its real counterpart. We derive from it several
applications like the existence of flexible retractions and splitting for
semi-algebraic sets.
