Dictionnaire portatif historique littéraire des théâtres — Antoine de Léris