AWK : petit caprice de formatage

Version imprimable