# script à lancer:
#!/bin/bash
find /usr/share/man/fr -name "*.gz" -exec recodage_man '{}' \;

#script recodage_man
#!/bin/bash
fichier_gz="$1";
if [[  $"$(file -zi $fichier_gz)" =~  $'[uUtTfF]-?8' ]] && [ ! -L $fichier_gz ]; then

    fichier="/dev/shm/$(echo $fichier_gz | sed -e 's/\.gz$//')";
    fichier_tmp=$fichier"_tmp";

    gunzip -c $fichier_gz > $fichier;
    mv $fichier $fichier_tmp;
    iconv -t ISO_8859-15 $fichier_tmp -o $fichier;
    rm $fichier_tmp;

    gzip -c $fichier > $fichier_gz;
fi