Gassendi, Prieur-curé de Barras, fl. 1790.