Service des travaux maritimes — France. Ministère de la défense