Les Origines de la tragédie lyrique et la place des tragédies en machines dans l'évolution du théâtre vers l'opéra — Étienne Gros