Théorie de la mesure, intégration probabilité