Type algébrique généralisé