  We prove a global in time existence theorem for the initial value problem for
the Einstein-Boltzmann system, with positive cosmological constant and
arbitrarily large initial data, in the spatially homogeneous case, in a
Robertson-Walker space-time.
