Exercice 2 - Plus grand élément

Ecrire un algorithme de recherche du plus grand élément dans un tableau. Prouvez sa terminaison et sa validité. On rappelle que $m$ est le plus grand élément du tableau $T = [T_1, \ldots, T_n]$ si les deux conditions suivantes sont vérifiées :

• $\forall i \in \{1, \ldots, n\}, m \geq T_i$
• $\exists j \in \{1, \ldots, n\}, m = T_j$