Eduardo Torroja, l'eredità culturale,