Alarma de seguridad: ¿Es obligatorio instalar una alarma para una piscina equipada con una cubierta automática?