Akiva Bar-Nun 1940-2017