Presidía la República Jules Grévy.