From: Jérôme Benoit Date: Sun, 14 Oct 2018 13:03:13 +0000 (+0200) Subject: Better define O.R. X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=e7e85554d433fb495c8bfeb5dd77982ac6d54dcd;hp=e7e85554d433fb495c8bfeb5dd77982ac6d54dcd;p=Projet_Recherche_Operationnelle.git Better define O.R. Signed-off-by: Jérôme Benoit ---