Luxembourgpalatset , senatens lokal.