Maintien dans l’emploi d’un officier général de la marine