Mort du chef d'Al-Qaïda: de la traque à la frappe, les dessous de l'opération