HỒNG LÂU MỘNG - Trang 776

[←264]

Tức Đào Tiềm, người đời Tấn. Vì ông làm quan Lệnh ở Bành Trạch, nên cũng gọi là Đào Bành Trạch.