https://www.touslescables.com/cable-sat-iec-J7AL-1852.html
ça correspond, mais ce câble est de la cochonnerie: diamètre 6 mm Il faut un diamètre de 7 mm minimum
tu peux prendre un bon câble à fiches F à chaque bout et un adaptateur IEC mâle / F femelle comme ci-dessous, on en trouve en supermarché
ou bien un bon cordon IEC à chaque bout et un adaptateur IEC femelle / F mâle comme ci-dessous
achète le câble au mètre (17VATC) et les fiches séparément en magasin de bricolage et fais ta rallonge toi-même, tu n'auras même pas besoin d'adaptateur
je t'ai envoyé un lien vers un tutoriel pour confectionner un câble, c'est facile
autrement tu asce site qui fait des cordons sur mesure . tu leur téléphone ou leur envoie un mail pour savoir le coût.
EDIT : suis le conseil de Julien juste au-dessus si effectivement tu as reçu le câble (cher)