Loisir, fête et musique. - Rodríguez Adrados, Francisco, 1922-2020