Trahison et déshonneur : il y a 80 ans, le procès Pétain