Antonio Ruiz Cervilla
Spanish football player/manager (born 1937)
futbolista español