L’amiral Bernard Rogel a été nommé chef d’état-major de la Marine