What is marine?deel van de krijgsmacht op zee marine vrouwelijk (nationale) marine vrouwelijk de guerre bij de Koninklijke Marine à la Marine royale (néerlandaise)