Pradier, J.-M. The First Session of ISTA. JTA 2021.