Triangulation of Subanalytic Sets and Proper Light Subanaly-tic Maps R. M. Hardt — 1976 Inventiones mathematicae