Article (Décret du 15 décembre 1992 portant création de la réserve naturelle de la grotte de Gravelle (Jura))
Art. 19. - Le ministre de l'environnement est chargé de l'exécution du présent décret, qui sera publié au Journal officiel de la République française.