Boas.
Vitor Duarte o que deves ter visto é um microfone externo direccional, pois a DVX100 tem microfone incorporádo. Como o mesmo não é grande coisa (o incorporádo), colocaram um externo. Como não referes a marca do mesmo, torna-se impossivel de dizer quem o comercializa. Mas dentro do género (suponho eu) tens vários de várias marcas, como seja Sony e Sennheiser.
Como não conheço assim tanto Lisboa, não te posso aconselhar uma loja. Mas experimenta em lojas de material audio, casas de música.
Abaixo segue um link em português sobre microfones. Pode-te ajudar a escolher o microfone que necessitas. Boas.
http://www.filmebase.pt/Aplic/micros.html
