Tri rapide en python

En pseudo-code, on a tendance à préciser beaucoup d'informations, notamment on déclare les variables avant le début du code et on précise leurs types. Je pense que cela vient du fait qu'on a commencé à faire du pseudo-code il y a longtemps quand il existait uniquement des langages de bas niveau comme le C. Mais aujourd'hui avec Python et d'autres langages de haut niveau, ça ne fonctionne plus de la même manière. Il est donc normal que vous ne sachiez pas comment traduire ça en Python car ce n'est pas possible.
Premièrement, en Python on ne précise effectivement pas le type des variables ni des arguments donc pas de

x: entier

.
Ensuite si je ne me trompe pas, le

t[0..N-1]

permet de dire que t est un tableau de N éléments indexés de 0 à N-1. Encore une fois, en Python on ne précise pas la taille d'un tableau (qui se trouve être une liste en Python) et les éléments sont toujours indexés de 0 à N-1 donc on ne le précise pas non plus.
Pour finir, celui dont je suis le moins sûr est le

E/S

mais il me semble que cela signifie que la variable passée en paramètre peut-être lue et modifiée à l'intérieur de la procédure ou de la fonction. Cela se fait avec des pointeurs en C, mais en Python les pointeurs n'existent pas donc ce n'est pas possible dans tous les cas.
En Python, quand on fait une affectation

a=5

à l'intérieur d'une fonction, cela créer obligatoirement une variable locale qui ne pourra pas être lue depuis l'exterieur donc on ne peut pas passé un entier en paramètre et le modifier. On est donc obligé de retourner les nouvelles valeurs.
La procédure echanger doit donc être une fonction et s'écrit comme ça :

def echanger(valeur1, valeur2):
    return valeur2, valeur1

Bon en réalité on peut se débrouiller pour modifier les valeurs sans les retourner (par exemple avec des variables globales, ou encore en créant son propre type mutable) mais c'est plus simple de les retourner.
Pour les listes c'est un peu différent. En fait l'affectation produit toujours le même effet mais comme il s'agit d'un type mutable, on peu modifier son contenu sans faire d'affectation en faisant

t[0]=42

qui n'est pas du tout pareil que

t=[42, ...]

. C'est pour cela que la fonction partition dans votre premier message peut modifier le contenu de alist.
la fonction partitionner se fait donc exactement comme vous l'avez fait et vous ne pouvez rien précisez de plus pour les paramètres.
Je précise quand même qu'on peut écrire

def echanger(valeur1 : int, valeur2 : int):

mais je n'ai jamais compris à quoi ça sert car ça n'empèche pas de passer une chaine de caractère ou n'importe quoi d'autre en paramètre, et de toute facon, personne ne l'utilise. C'est juste si vous voulez rendre le code plus clair et savoir rapidement ce qu'il attend en entrée.

Donc pour résumé, je ne sais pas pourquoi vous vouliez faire ça, si c'est un exercice à faire ou autre chose, mais ce n'est pas possible en Python et vous ne pouvez pas faire autrement que le code que vous avez donné au début.

Bonne journée.

Le code que vous montrez ici correspond à peu près à la fonction partitionner que vous avez montrer au début. Le code est légèrement différent mais il fait la même chose donc je ne comprends pas vraiment ce que vous voulez.
Vous avez parler d'entrée / sortie et, à moins que je n'ai pas compris de quoi il s'agit, sinon je vous ai expliqué que ce n'est pas possible Python.
Essayez d'expliquer votre demande plus clairement sinon je vais avoir du mal à vous aider.