théorème de convergence monotone décroissante