Dictionnaire portatif des théâtres, contenant l'origine des différens théâtres de Paris ... - Léris, Antoine de 1723-1795 (Jombert, 1754)