Petronio en la biblioteca de Isidoro de Sevilla?. - Rodríguez Morales, J.