V(p) debut; e(s) := e(s) + 1; si e(s) <= 0 alors debut; sortir un processus de la file f(s); /* soit q le processus sorti */ etat(q) := actif; fin; fin;