Systèmes informatiques temps réel pour les applications spatiales = | lit.salon