Notion de type