— Rue de la Harpe.