progsyst: publish cours-6