Règlement d'exécution (UE) 2017/1942 du 25 octobre 2017 mettant en œuvre l'article 15, paragraphe 3, du règlement (UE) n° 747/2014 concernant des mesures restrictives eu égard à la situation au Soudan