Rue de Luxembourg, Luxensee