Melanges de la Casa de Velazquez (Diffusion de Boccard, 1965)