précondition (condition + pré-; before)
Condition appliquée au début d’un calcul et permettant de valider le résultat d’une fonction mathématique