Diputación publica una guía con restaurantes «Halal» en Sevilla