In this paper, we address two questions: (i) how should a government pursuing both environmental and redistributive objectives design domestic taxes when redistribution is costly, and (ii) how does trade liberalization affect this optimal tax system, and modify the economy's levels of pollution...