  This is a survey paper where we expose the Kirby--Siebenmann results on
classification of PL structures on topological manifolds and, in particular,
the homotopy equivalence TOP/PL=K(Z/2.3) and the Hauptvermutung for manifolds.
