dans le corps des ingénieurs des travaux maritimes

au grade d'ingénieur en chef