progsyst: publish cours-1