Hội trường Ba Đình – Theo ngôn ngữ khác