O mandado de segurança: