chapitre 1: introduction aue systemes temps reeal