  We compute the bulk limit of the correlation functions for the uniform
measure on lozenge tilings of a hexagon. The limiting determinantal process is
a translation invariant extension of the discrete sine process, which also
describes the ergodic Gibbs measure of an appropriate slope.
