Pascual Tomás — Spanish trade unionist (1898-1973)