J.-M. Pradier, “Rapport sur la 4éme session de l’ISTA”, JTA, no. 2, pp. 145–151, Oct. 2022.