Politecnico biblioteca (G. Einaudi, 1946)