définition de types