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 ».