Décret du Président de la République (Jules Grévy) portant clôture de la session ordinaire de 1885 (6 août 1885) — Jules Grévy