Pierre Dervaux, Orchestre du Théâtre de l'Opéra de Paris, Michel Dens, Mado Robin