Code disciplinaire et pénal, marine marchande — France