Histoire de la musique occidentale / Massin, Jean (1917-1986)