France. Ministéres de la marine et de l'instruction publique