Mado Robin, Orchestre du Théatre National de Paris, Pierre Dervaux