Du langage à l'action : compilation et typage, par Xavier Leroy