-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Bonjour Jean-Yves. Vendredi, quand tu étais absent, Monsier Siaka DIALLO est venu me voir pour parler essentiellement du même problème ; moi aussi j'avais reconnu que la signature ENV_CORE n'était pas suffisante. Après, ... bon, heureusement tu a été informé par quelqu'un de plus rapide :-). Donc, sans rien enlever à Monsieur Lecointre (qui a articulé son objection de façon plus claire et plus sûre) je dois faire remarquer que Monsieur Diallo a eu la même intuition correcte. Merci, - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk0rB8gACgkQvzOavibF0oZHTgCeLInZGbWgXMJ9V8LmPgCP7xFE NTwAoJzS49tfIeb2tgv2x9KDBzy+cQo5 =E4tp -----END PGP SIGNATURE-----