Då Grévys presidentskap gick till ända,