Thank you for the responses to help me understand better your situation.

When you use your vacation time in a way that your employer permits and you do not sell it, you do not need to pay any additional tax on the income over and above what you already paid out of your salary when it was paid to you. 

If you had sold it back in a lump sum, that would be additional income to you.