Mot-clé : institut-du-developpement-et-des-ressources-en-informatique-scientifique-idris