Title: Le marin de Gibraltar
First published: 1952