Commutation et intégration fonctionnelle