Écrire une fonction `max_et_indice` qui prend en paramètre une liste non vide `tab` de nombres entiers et qui renvoie la valeur du plus grand élément de cette liste ainsi que l’indice de sa première apparition dans cette liste. L’utilisation de la fonction native `max` n’est pas autorisée. Ne pas oublier d’ajouter au corps de la fonction une documentation et une ou plusieurs assertions pour vérifier les pré-conditions.