Lecture on the Wigner-Dyson nearest-neighbour distribution