Las vacaciones de los funcionarios públicos tendrán una duración de: