Côte occidentale d’Afrique entre le détroit de Gibraltar et le cap Bojador