Lijst der eereteekens toegekend aan de zeelieden van den oorlog 1939-45. - Nederlandse en Franse tekst