Orchestre du conservatoire de Paris, Pierre Dervaux