Rennequin, Jean Louis, soldat au régiment de Pondichéry, mort à Mahé le 1er juin 1777 1777