Wigner random matrix, Dyson sine kernel