Núñez, Estuardo <br/><br/>
Mariano José de Arce, primer bibliotecario