awk et recode : UTF8 -> ISO8859-1 possible ?

Version imprimable