Estimation of the mean of a stationary time series by sampling