1. Table des matièresIntroduction générale 11 Introduction des types simples dans les systèmeset CL - Church-style 21.1 Introduction . . . . . . . . . . . . . . . . .…