Décret du 5 juillet 2013 portant nomination dans la 1re section d’un officier général de la marine (corps d’officiers de la marine nationale administrés par le ministère de l’écologie, du développement durable et de l’énergie)