José Pinto Rosas
Pepe Pinto
Spanish football player and manager (1929–2024)
futbolista español