Diccionario de Historia / José María Valverde - Valverde, José María