Vandalisme porte entrée copropriété

Bonjour,

En pleine nuit deux individus ont fait du tapage en hurlant le prénom d'une des locataires de mon 'immeuble sur le parking et en sonnant à son interphone inlassablement pendant des heures. n'obtenant pas de réponse ils ont fracassé la vitre de la porte d'entrée de l'immeuble avec des pierres;
or cette locataire nous a déjà causé des problèmes ( allées et venues incessantes nocturnes, bruits cris dans les parties communes de l'immeuble). elle a déjà été averti par lettre du syndic du mécontentement des habitants de la copropriété.
le matin suivant les dégats de la porte d'entrée, et ne pouvant prévenir le syndic car fermé le samedi, nous sommes allés (5 propriétaire) au commissariat de police pour déposer une plainte or le commissariat nous a dit de contacter le syndic et que c'est le syndic qui devrait porter plainte.
en bref quel recours avons nous? qu'est ce que le syndic est sensé faire et quelles démarches entreprendre pour essayer que cette locataire quitte notre résidence?

de plus pour la réparation de la porte,

pouvons nous exiger d'elle qu'elle nous cite les noms des deux personnes qui ont vandalisé la porte de l'immeuble?
merci d'avance pour votre réponse