Décret du 11 octobre 2017 portant nomination dans la 2e section d’un officier général de la marine (corps d’officiers de la marine nationale administrés par le ministère de la transition écologique et solidaire)