Saint Thomas d'Aquin et la guerre