Motivic integration (after Hrushovski and Kazhdan)