7980818283848586878889
/* * ouverture de la file d'attente */ LinkedList<Node> old_queue = myself.pendingMsg_OPEN(); /* * Nouveau contexte... */ global.push();