Le musée de la Marine.