As origens do constitucionalismo calvinista e o direito de resistência: a legalidade bíblica do profeta em John Knox e o contratualismo secular do jurista em Théodore de Bèze