حاشية حاجي بابا على المصباح لعبدالسيد المطرزي - حاجي بابا، إبراهيم بن عبد الكريم ق. 9 هـ