loglib: publish cours-09-dinsic