Alors des batteries 230 V tu vas pas en trouver beaucoup !
Il faut, tu as raison, un convertisseur qui non seulement transforme le 12V de la batterie en 230V mais aussi le continue de la batterie en alternatif 50hz comme dans nos maison.
Ce genre de convertisseur coute environ 50 € en moyenne.
Tu peux en trouver sur manomano :
https://www.manomano.fr/convertisseur-de-tension-2303?model_id=3958663&g=1&referer_id=537135&ach=c7480&achsqrt=c4a77&gclid=Cj0KCQiAr93gBRDSARIsADvHiOqbOsO33F8peCmQu Udrm-tILbn49KE_nrP0mEwu48wXshBKzIMmc5oaAqY0EALw_wcB
Il faut le choisir en fonction de la consommation de l’appareil que tu vas y brancher (ici ton électrificateur).
Tu en verra certain "pure sine wave" et d'autre non, les premiers sont plus haut de gamme car la "forme d'onde" de la tension sera plus fidèle a ce qui sort de nos prise mais vu la construction simple et robuste de la plupart des électrificateur, je pense qu'l n'y aura pas de problème a en utiliser un non "pure sine wave".
ATTENTION : il ne faut pas brancher ses appareils sur n'importe quel batterie 12V ! Ca consomme assez donc il faut que la batterie soit capable de délivrer ce fort courant sur une assez longue période et si tu prend une petite batterie , l'autonomie de ton installation ne sera pas satisfaisante et ça ne vaudra pas le coup...
Enfin, pense a bien abriter ton installation et tes connections de l'humidité.