Most recent affiliation: Le Mans Université
Most recent affiliation: Inria ALMAnaCH - Ecole normale supérieure Paris
Most recent affiliation: Inria, France