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