Mélanges de la Casa de Velázquez. (1972)