Applications des Calculs Polyédriques à l'Analyse et à la Vérification des Systèmes Matériels et Logiciels