Republikens president , Grévy,