案例分析题： 案例：张俊，男，30岁，系A省B市甲公司财务人员。因贪污巨额公款被B市中级人民法院一审判处无期徒刑。人民检查院以量刑畸轻为由提出抗诉，二审改判死刑。现已执行完毕。 分析： （1）该案件所经过的基本诉讼程序有哪些？ （2）有哪些公安司法机关参加了本案的诉讼活动？ 中华人民共和国《民法通则》第145条（同《合同法》第126条）规定：“涉外合同的当事人可以选择处理合同争议所适用的法律，法律另外有规定的除外。” 请对上述规定进行分析说明 （注：本题所指“法律”包括最高人民法院相关的司法解释）