“竹林七贤”，传奇还是传说