Hittenhoffer, Philippe, ouvrier d'artillerie à Pondichéry, mort en 1788 1788