Décès de Georges GROSS, adjoint au maire depuis 1886.