Décret du 12 décembre 2018 portant élévation, 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)