Etats-Unis : Un condamné à mort surnommé le « tueur ninja » exécuté en Floride