This talk is devoted to semiclassical estimates of the eigenvalues of the Pauli operator on a bounded open set whose boundary carries Dirichlet conditions. Assuming that the magnetic field is positive and a few generic conditions, we establish the simplicity of the eigenvalues and provide accurate asymptotic estimates involving Bergman-Hardy spaces associated with the magnetic field.