Hi Jean-Baptiste,

thanks a lot and sorry I didn't have time the last days.

Could you merge git master into v0.9 branch and tag the
release to have it clean.

I think master will be used for refactoring and perhaps we 
might have a minor fix release on 0.9 branch.