Dans combien d'heures la monnaie RED sera-t-elle émise ?