Un ensemble de conditions que la valeur de retour d'une fonction doit respecter

Ce qu'il faut faire pour exécuter un programme

Les lignes en début de programme qui permettent d'importer des bibliothèques

Un ensemble des conditions qui doivent être respectées par les paramètres d'une fonction