¿Es necesario instalar un extractor de aire en el baño?