Mélanges de la Casa de Velazquez - Casa de Velázquez (1965)