Un Américain exécuté au Texas pour un double meurtre