Stav dette: Ensambles semi-analytiques