Décret du 24 octobre 2018 portant nomination dans la 2e section des officiers généraux de la marine (corps d’officiers de la marine nationale administrés par le ministère de la transition écologique et solidaire)