Ex bibliotheca Artur Mário da Motta Miranda