Если формальные действия все же понадобятся, начните со своего босса (если он не агрессор, конечно). Или же обратитесь к вышестоящему начальству. Нами рекомендует обсудить, как поведение агрессора вредит бизнесу