Programmation et analyse d'un système réel, séance - 5