Les trois Don Juan Don Juan Tenorio d'Espagne, Don Juan de Maraña des Flandres, Don Juan d'Angleterre