Trump n'a pas encore déclenché de guerre, mais sa réélection donnerait libre cours à son interventionnisme