Giorgos Petridis — Greek football player (1938-2017)