Catégories à High Level, AB, D