Intégration en mathématiques/Post-notions