/* contrat. La fonction renvoie l’indice d’un élément maximal du tableau (bonus, cet indice est le plus petit). */ int max_element(const int* t, int n){ int max = 0; /* invariants et variant */ for (int i = 0; i < n; i++){ if (t[max] < t[i]) max = i; } return max; }