Institut de recherche d'informatique et d'automatique. Centre de documentation.