Décret du 20 novembre 2019 portant nomination 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)