Ravalement d’un mur mitoyen : qui doit payer ?