Institut National de Recherche en Informatique et en Automatique : abréviations, définitions et exemples