Lucky Luke versus Pat Poker (Lucky Luke)