Fondements des Systèmes Temps Réel