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