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