Cibler le bras armé du régime, bombarder, sanctionner... Les options plus ou moins risquées de Trump pour intervenir en Iran