Paris Soir - Le vendredi 13, un porte-bonheur... aussi pour les casinos et opérateurs de jeux