progsyst: publish cours 7