Les services techniques sont intervenus pour la réparation d'une fuite sur le toit de la gendarmerie.