À (at) Mon, 17 Jul 2006 10:10:24 +0000 (UTC),
talon@lpthe.jussieu.fr écrivait (wrote):
> Il est possible que ton fichier awk soit corrompu. Ca m'est arrivé une fois
> avec firefox. Oui, il reste des bugs. Pourquoi ne pas recompiler awk
> avec l'option -g ? Remarque ça risque de faire disparaître le probème!

Heu... Le fichier 'awk' n'a pas bougé depuis le début. Son MD5 est
stable ! Il semblait marcher jusqu'à présent...

--
Paul Gaborit - <http://perso.enstimac.fr/~gaborit/>