Une valeur qui identifie une police pour le système de gestion de polices. L'ID de police est assignée à une police au démarrage du système ; la valeur spécifique ne persiste pas dans l'ensemble de démarrage du système.