Militari: procedimento disciplinare e pregiudiziale penale