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