Orchestre du Théâtre national de l'Opéra-Comique, Pierre Dervaux, Janine Micheau, Nicolai Gedda, Jacques Mars, Chœur du Théâtre national de l'Opéra-Comique