La Ermita del Cristo del Mercado en Segovia: Selección documental relativa a su reedificación en el siglo XVII y a su conservación