Précondition

Une précondition est une condition ou une propriété qui doit être vérifiée avant l'exécution d'un algorithme ou d'une instruction. Cela permet de garantir que le calcul sera bien défini et correctement exécuté, sur des données du bon type.