Nuisances bruits de pas

Bonjour,
je sollicite votre avis, que je suppose beaucoup de monde connait.
Mon amie a acheté un petit appart dans un vieil immeuble de caractère. On l'a bien restauré et il est vraiment sympa. MAIS, on entend énormément les occupants du logement du dessus (propriétaire eux aussi) ; en particulier les bruits de pas qui sont à un niveau vraiment trés pénible. Ils sont 4 dont 2 momes qui gambadent.
On a essayé d'en discuter gentiment avec eux , voir s'il est possible qu'il fasse qq chose. Ils repondent qu'ils peuvent rien faire, que c'est du à la mauvaise isolation de l'immeuble (ce qui est vrai), qu'ils font déjà des efforts bla bla bla.
On a laissé filer un peu de temps et rien ne s'arrange. Finalement on leur glisse un petit mot dans la boite leur rappelant le prb et les reinvitant à venir en dicuter. Resultat, ma copine s'est pris une visite trés agressive sur le mode "puisque c'est comme ca, on fera plus aucun effort du tout" (super la discussion)
Bref la question est la suivante : Que peux t-on legalement faire ? Que dit la loi a ce sujet ? Si certains d'entre vous ont ou ont eu le même prb, comment vous y etes vous pris et avec quels resultats ?

C'est vrai que mon amie aurait du verifier cette histoire de bruit avant d'acheter, pas de pot, les voisins du dessus étaient absents pour plusiuers semaines à ce moment la et de tt facon ce qui est fait est fait.

un grand merci par avance pour votre aide