Enrique Tierno Galván — Spanish academic and writer (1918-1986)