maintenance/talks/rennes-2015/talk.20151109.pdf