précondition (N) — 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.