republikens presidenter gått hädan — nämligen gamle Grévy.