Définition des constantes de types