Miguel Artigas: De la Biblioteca de Menéndez Pelayo a la dirección de la Biblioteca Nacional