A segurança do Lula, no entanto, continua a cargo dos militares do Gabinete de Segurança Institucional