condition (N) — précondition (N)
précondition : Condition appliquée au début d'un calcul et permettant de valider le résultat d'une fonction mathématique.