ابن جرهد ، في ترجمة جرهد .