In this paper, I characterize the optimal redistribution policy in a simple life-cycle framework with both an intensive and an extensive margin of labor supply. The extensive margin corresponds to the choice of a retirement age. The optimal allocation cannot be implemented in a decentralized...