avancement dans context formel
merge zipping