Décès de Georges Gruillot, ancien sénateur du Doubs et président du conseil général