ENS1161: added lecture 10