Don Juan o El festí de pedra; Don Juan o El festín de piedra