Institut national de recherche en informatique et en automatique - INRIA | Thot Cursus