rue du Grand Puitsdans la Cité , la rue du Grand Puits et ses restaurants