Une expression logique qui indique les conditions d'entrée qui doivent être remplies pour qu'un chemin d'accès du programme à exécuter.