Springer’s work on unipotent classes and Weyl group representations