"hærens leir" er et 11-bokstavers substantiv som brukes som synonym for "Gardeleiren". Gardeleiren betyr: Leir for hærens personell.