void EV_sendEvent (short TaskID, EVENT *event); (doc TIGCC)

J'aime pas l'astérisque...