Text this: Pedro Gómez de la Serna (1806-1871). Apuntes para una biografía jurídica