Looks like @chergui hasn't received any replies!