Médiathèque de l'Institut de Recherche et Coordination Acoustique/Musique.