El sepulturero Miguel Hortigosa recibió 13.600 maravedíes o 400 reales por trasladar desde la antigua iglesia de San Ildefonso hasta la cripta del convento de las Trinitarias Descalzas los restos de 17 personas, entre ellos los de Miguel de Cervantes.
