Sorry for the double post. It turns out that the mailing list server seems to be *really* lagging (my first message arrived 24 hours later than expected!). Ludovic.