Looks like @bernardleroux hasn't received any replies!