Qué es un onsen: introducción básica a su definición