Republikens president , Jules Grévy.