On sait que la théorie des corps algébriquement séparablement clos de caractéristique et de degré d'imperfection fixés est complète et stable. Nous décrivons les types en terme d'idéaux de polynômes à une infinité de variables. Cela permet de déterminer le générique, de décrire la déviation et quelques rangs naturels, de montrer qu'il y a des propriété du recouvrement fini, et que, dans le cas d'un degré d'imperfection fini, l'adjonction au langage d'un nombre fini de constantes permet l'élimination des imaginaires.