nom→ féminin→. [logique]. assertion placée dans le code source de sorte qu'elle soit évaluée juste avant une fonction [NM].