Distribution de pétrole, de dérivés à Verrières-de-joux