Orchestre du Théâtre national de l'Opéra-Comique, Jules Gressier, Jacques Pruvost, Jean Giraudeau, Chœur du Théâtre national de l'Opéra-Comique