progsyst: publish cours-4