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