@Override
		public void mouseReleased(MouseEvent e) {

			if (cartaActual == -1 || modoSel == SEL_NO) {
				return;
			}

			// doble click en una carta: hacer algo al respecto
			if (e.getClickCount() == 2) {
				for (MazoListener ml : mazoListeners) {
					// OJO: 'this' es un MazoMouseListener;
					// 'InterfazMazo.this' es la InterfazMazo que lo contiene
					ml.dobleClickEnCarta(InterfazMazo.this, cartaActual);
				}
			}

			if (modoSel == SEL_MUCHAS) {
				if (seleccionadas.contains(cartaActual)) {
					seleccionadas.remove(cartaActual);
				} else {
					seleccionadas.add(cartaActual);
				}
			}

			if (modoSel == SEL_UNA) {
				if (zonaSeleccion.contains(e.getX(), e.getY())) {
					seleccionadas.clear();
					seleccionadas.add(cartaActual);
				} else {
					seleccionadas.clear();
				}
			}

			for (MazoListener ml : mazoListeners) {
				ml.clickEnCarta(InterfazMazo.this, cartaActual);
			}

			cartaActual = -1;
			repaint();
		}