Lump-Sum Taxes in a R&D Model