Text this: Carte des principales ports de mer, bancs de sable, &c., qui sont dans la Mer Rouge :