le WD40 n'est pas vraiment un dégrippant, ils ont ajoutés cela pour faire pub...
Un vrai dégrippant, c'est bien plus méchant que ça...

Tu as une référence pour ton huile vaseline? (nom, marque, PN, etc..)

Pour nettoyer les contacts j'utilise du Kontakt 60, c'est très agressif,
et un autre produit du même fabricant, qui permet de retirer les résidus de soudure