-correction d'un bug probable du tri des timers (révélé dans GNU)
Authored by: romexzf 2005-07-09
Parent: [r944]
Child: [r946]