Hi, I've got to deal with network problem this morning, so I've not done the work I planned. I'll be quite busy tomorow too. So I'll merge the bouyer-ide branch next monday Sorry for the noise ... -- Manuel Bouyer, LIP6, Universite Paris VI. Manuel.Bouyer@lip6.fr --