När Jules Grevi ) nedsteg frän presidentstoken,