Saint-Germain-des-Prés, capitale des lettres — Jules Leroy