Como deve o trabalhador docente ou não docente proceder para marcar férias?