  We complete the determination of the generalised Springer correspondence for
connected reductive algebraic groups, by proving a conjecture of Lusztig on the
last open cases which occur for groups of type $E_8$.
