La Coste, —, active approximately 1684, French military engineer?