Random right eigenvalues of Gaussian quaternionic matrices

We consider a random matrix whose entries are independent Gaussian variables taking values in the field of quaternions with variance $1/n$. Using logarithmic potential theory, we prove the almost sure convergence, as the dimension $n$ goes to infinity, of the empirical distribution of the right eigenvalues towards some measure supported on the unit ball of the quaternions field. Some comments on more general Gaussian quaternionic random matrix models are also made.