From: couchot <couchot@localhost.localdomain>
Date: Wed, 31 Aug 2016 09:46:10 +0000 (+0200)
Subject: preuve promela traduite
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/commitdiff_plain/416d383eafc79d519cc2910697507e81bdc0d3c7?hp=416d383eafc79d519cc2910697507e81bdc0d3c7

preuve promela traduite
---