«Roi des Romains» en allemand avec traduction parallèle