حرمي بن يونس بن محمد المؤدب ، اسمه : إبراهيم .