Contro l’invasione di topi in città: oggi gli interventi di derattizzazione