Nomination dans le grade d’ingénieur général de classe normale des travaux maritimes