Funcionario de la Administración General del Estado.