Stability and convergence of the penalty formulation for nonlinear magnetostatics | Synapse