Catégories à High Level, AB, SF-ST