Le coût exact de l'OS dans les systèmes temps réel durs