Finition NVP /  update BDD