Après encore quelques recherches, je penche pour ce genre de produit, et donc charger via le port USB-C:
https://www.aliexpress.com/item/4000356159474.html?spm=a2g0o.cart.0.0.5bef38daPX5GVr&mp=1
ou ça:
https://www.aliexpress.com/item/1005004658806390.html?spm=a2g0o.cart.0.0.5bef38daPX5GVr&mp=1
Pour l'arrivé du courant, on est d'accord qu'il suffit de raccorder le + et - de la batterie 12V à un connecteur mâle 5.5/2.5, et de mettre un fusible correspondant à la puissance max (enfin, à l'ampérage, que j'estime à 7-8A).
Sachant que la puissance du PC que je vise est de 46W, mieux vaut-il prendre l'appareil pour 100W, ou bien celui à 65W?
@Colmic vu ton niveau de connaissance technique, je veux bien ton avis. 😉