Pour l'analyse dynamique et la vérification des canalisations