À cet instant, combien les traders d'événements ont-ils misé ?