Limitação do porte de armas a servidores que exercem função de segurança no Poder Judiciário e no Ministério Público e condicionamento da proteção pessoal oferecida a seus membros à avaliação prévia da polícia judiciária - ADI 5157/DF - Supremo Tribunal Federal (STF)