Pour info, quel est le pourcentage de temps CPU bouffé par un scheduler, en moyenne, sur une machine PC "de base", avec un seul coeur etc...