Le département d'État a certainement eu des problèmes avec Smartmatic et le Venezuela. Que s'est-il passé ?