https://juristas.com.br/artigos/servidor-que-fizer-greve-tera-dias-descontados/