A défaut de diode type HVR4, on trouve sur Ebay des diodes HVR3-9 ou HVR3-12 (pièces détachées de fours à micro-ondes) pour un peu moins de 10 euros
Sinon (pour des diodes plus petites, moins chères, de caractéristiques proches de la pièce qui a grillé) :
- de nos jours, ce genre de diodes s'achète uniquement par correspondance, voir par exemple chez FARNELL, AVNET, MOUSER ou DIGIKEY
Fabricant : Vishay, Murata , Microsemi
Une diode de la série GP02-40-E3/54 (Vishay), modèle en vente partout, ça risque d'être un peu "juste" : certes cette diode tient 4000V en inverse, mais elle est prévue pour un courant moyen de 250 mA, pas plus, et j'ai bien peur que la diode d'origine soit un modèle de ce genre (en boîtier DO-204 ?)
Une diode MC5617, MC5618 ou MC5619 (fabricant : Microsemi) serait à peine meilleure dans cet emploi.
De toutes façons, comme l' a dit NIKASS, en neuf ça va être 0.1 à 0.5 euro pour la diode et 10 euros pour les frais de port ...
Sinon, faute de micro-ondes à cannibaliser, il y a toujours la possibilité de récupérer une épave de moniteur couleur à tube cathodique, puis de prélever la diode de récupération d'énergie du circuit de balayage lignes. En général, elle se trouve à coté du transfo THT et du transistor de puissance lignes. Par contre, il n'est pas sûr qu'elle tienne 4000V.