Seems highly likely that that J-L Krivine is (up to isomorphism, anyway) the same as the eponym of the https://en.wikipedia.org/wiki/Krivine_machine .

(being the advisor of J-Y Girard is evidence that « un train peut en cacher un autre »)

EDIT: s/highly likely/certain/, see publication list: https://www.irif.fr/~krivine/

The Karenin stratification