Indemnité spécifique de service allouée au directeur central des travaux immobiliers et maritimes et aux ingénieurs des travaux maritimes du ministère de la défense (Modificatif)