convergence des discrétisations