Title: Diccionario histórico, biográfico y enciclopédico del Caballero de Gracia