The maps of the city: San Ildefonso