Mer, marines, marins — Paul Valéry