J.-M. Pradier, “The First Session of ISTA”, JTA, no. 1, Mar. 2021.