Quatre contes de Prosper Merimee; ed. with introduction, notes, and vocabulary by F.C.L. van Steenderen