Bobillot, sergent de genie mort au Tonkin