Décret du 13 décembre 2017 portant nominations dans la 1re 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)