Description : liste de diffusion du GDR IHM