Jean Mercure, un théâtre de la ville — Bibliothèque historique de la Ville de Paris, Paul-Louis Mignon