Greguss Pál (1921-2003)