Écrire derniere occurrence(t, v)

def derniere_occurrence(t, v):
    """Indice de la DERNIÈRE occurrence de v dans t, ou -1 si absente.

    Postcondition : si le résultat r vaut -1, aucun élément de t n'est
                    égal à v ; sinon t[r] == v et aucun élément d'indice
                    strictement supérieur à r n'est égal à v.
    """
    for i in range(len(t) - 1, -1, -1):
        if t[i] == v:
            return i
    return -1

Oui, et c'est exactement cela. Le range(len(t) - 1, -1, -1) parcourt les indices de $n-1$ à $0$ : on rencontre donc la dernière occurrence en premier. Les trois arguments se lisent « de $n-1$, jusqu'à $-1$ exclu, par pas de $-1$ » — la borne $-1$ est là pour que $0$ soit visité.

La postcondition est le miroir exact de celle de recherche : « aucun d'indice inférieur » y devient « aucun d'indice supérieur ». L'invariant se transporte de même : avant le tour $i$, aucun des éléments t[i+1..n-1] n'est égal à v.

Contrôle. Sur [3, 1, 3, 7, 3] en cherchant $3$ : derniere_occurrence rend $4$, recherche rend $0$. La postcondition entière a été vérifiée sur $3000$ tableaux tirés au hasard.

L'autre voie, à écarter. On pourrait parcourir à l'endroit en mémorisant le dernier indice vu, sans jamais sortir tôt. C'est correct, mais cela paie toujours $n$ comparaisons, là où le parcours inversé s'arrête dès qu'il a trouvé.