Puisque tu tiens aux huiles de voitures, prends soit de la 75w80 en GL4 ou GL5 soit une 5W20 ou 10W30 minérale, qui sont les plus proche en viscosité de la hm 32.
Perso j'aurai choisi une HM 32 (si tu vas voir le garage agricole du coin , il t'en cèdera bien 5l...)
mais tout dans une marque de pétrolier, faut quand même pas être radin (tu ne la changeras pas avant un certain temps ), c'est le prix de 2 fraises...
Dans l'idéal , tu utilises la remplaçante de la "mobil dte light" (qui n'existe plus) dans la marque de ton choix.
La pompe n'est pas un pb.
En fait, c'est à toi de faire le choix.