Le Premier ministre,
Sur le rapport du ministre de la défense,
Vu le décret no 71-963 du 3 décembre 1971 relatif au musée de la marine, modifié par le décret no 78-286 du 9 mars 1978, le décret no 80-610 du 28 juillet 1980 et le décret no 95-58 du 13 janvier 1995,
Décrète :

Art. 1er. - Les mots : « musée de la marine » contenus dans le titre et les dispositions du décret du 3 décembre 1971 susvisé sont remplacés par les mots : « musée national de la marine ».

Art. 2. - Le ministre de la défense et le ministre de la fonction publique et de la réforme de l'Etat sont chargés, chacun en ce qui le concerne, de l'exécution du présent décret, qui sera publié au Journal officiel de la République française.

Fait à Paris, le 25 janvier 2002.