  When we have a proper action of a Lie group on a manifold, it is well known
that we get a stratification by orbit types and it is known that this
stratification satisfies the Whitney (b) condition. In a previous article we
have seen that the stratification satisfies the strong Verdier condition. In
this article we improve this result and obtain smooth local triviality.
