ENS1161: added lecture 11