Présentation concernant les types