Rapports techniques — Institut national de recherche en informatique et en automatique. France