progsyst: publish cours-2