GERZSON Pál (1931 - 2008)