en formalitet , nämligen den , att Grévy utrymmer Elyséepalatset.