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