En Python, le seul moyen que je trouve pour concaténer deux listes est list.extend
qui modifie la première liste. Existe-t-il une fonction de concaténation qui renvoie son résultat sans modifier ses arguments ?
Eh bien, ça explique tout. Je cherchais un nom de fonction, pas un opérateur (Oui, je sais que les opérateurs sont implémentés par des fonctions cachées).