Arlot, Sylvain, Université Paris-Saclay, Univ. Paris-Sud, CNRS, Inria, Laboratoire de mathématiques d’Orsay, 91405, Orsay, France, France