Industriels : une exonération de taxe foncière pour les « sprinklers » ?