Devermond, Henri, chirurgien du Roi, inspecteur général de la chirurgie à la Martinique 1784/1786