Université Paris VII — Denis Diderot University of St Andrews Normalisation & Équivalence en Théorie de la Démonstration & Théorie des Types Stéphane Lengrand…