were originally dug far outside of the small 13th-century city when Lutetian limestone was mined as a local building material (any town or city with a distinctive architecture owes its appearance to whatever was available locally when it was founded – whether wood, stone, thatch or brick)....