Une valeur associée à un sémaphore et appliqué à valeur de la sémaphore si un processus se termine tout en maintenant les ressources représentées par le sémaphore.