Marine nationale : désignation au commandement. (Modificatif)