https://123dok.net/document/qo5vljm7-pim-inf-in-ordonnancement-temps-réel-damien-masson.html