« Il était traqué depuis des mois » : que sait-on de l’opération militaire qui a mené à l’élimination du guide suprême iranien ?