Sul concetto della 'guerra giusta' e l'intervento degli 'infideles' alla battaglia di Grunwald (1410)