Quai Saint-Michel, les escaliers du Petit-Pont