progsyst: publish cours 8