Frappes symboliques, sanctions, négociations: ces options qui s'offrent à Donald Trump pour mettre l'Iran sous pression