مترجم معروف درگذشت/ ابراهیم اقلیدی که بود؟