Alonso de Veracruz; llegó a tener 8360 volúmenes.