Antoine Rives, juge du terrorisme