Institut National de Recherche en Informatique et en Automatique.