From: Jérôme Benoit Date: Fri, 19 Oct 2018 14:37:34 +0000 (+0200) Subject: Addentum. X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=bbac6768f0edbde54f214a3e688c38d7ecd0294f;hp=bbac6768f0edbde54f214a3e688c38d7ecd0294f;p=Projet_Recherche_Operationnelle.git Addentum. Signed-off-by: Jérôme Benoit ---