definition des types