Saint-Etienne-du-Mont, Paris (Church of St. Stephen of the Mount, Paris)