(je confirme pour le WD40, c'est un dégrippant, en aucun cas un lubrifiant !)