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