Quelques modifications au scheduler