س ، ( هـ ) إبراهيم بن موسى بن جميل الأندلسي ( 1 : 69 230 ) .