Pour faire simple, la restauration est un POPALL suivi d'un iret. Barbux n'utilise pas les tss. En fait une tss est tout de même utilisée, pour changer la pile lors d'un changement de CPL causé par une interruption.