Talk:Local trace formula