מתרגמים שתרגמו את ספרי אורי פינק, אורי גרוס