Talk:Motivic integration