Republikens president Jules Grévy.