États-Unis: un homme exécuté au Texas pour un double meurtre