Manuel de la navigation dans le détroit de Gilbraltar — Clément-Adrien Vincendon-Dumoulin, Charles-Philippe de Kerhallet