Saint-Germain-des-Prés, plan du 17e siècle