From: couchot <couchot@localhost.localdomain>
Date: Wed, 31 Aug 2016 06:46:41 +0000 (+0200)
Subject: preuve promela:debut de traduction
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/commitdiff_plain/9e9f22c16917d3bf287f5e1f0df739200c392594?ds=sidebyside;hp=9e9f22c16917d3bf287f5e1f0df739200c392594

preuve promela:debut de traduction
---