institution militaire Synonym