Les ordonnanceurs sur base EDF génèrent les évènements de trace pour le fichier en sortie et considèrent (!= comptent) correctement les préemptions et changements de contexte