some slides to support the overview talk I gave at end of OLNet fellowship, and then again at WCET conferenceLire moins