Théorème de convergence dominée · Devon