Note

La ligne de commande qui peut vous sauver plusieurs heures de boulot :

while read -r pattern replacement; do sed -i -- "s/$pattern/$replacement/" *.tex ; done < patterns.txt

Ça remplace toutes les occurrences de plusieurs termes dans tous les fichiers d'un type donné. Ça prend en entrée un fichier patterns.txt constitué d'une liste comme suit :

foo bar truc muche

foo et truc seront remplacés respectivement par bar et muche.