Bản mẫu:SHORTDESC:Dinh Tổng thống in Sài Gòn, Liên bang Đông Dương