debug Herve Grumberg