Finite-source effects in microlensing: a precise, easy to implement, fast and numerically stable formalism