Pepe Pinto — Spanish football player and manager (1929–2024)