Better define O.R.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Sun, 14 Oct 2018 13:03:13 +0000 (15:03 +0200)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Sun, 14 Oct 2018 13:03:13 +0000 (15:03 +0200)
commite7e85554d433fb495c8bfeb5dd77982ac6d54dcd
tree4a3d973c17032599495feccaae0408b09b9732cd
parent9ba07da773413c8a6125ee63f7c4c416aef2ff98
Better define O.R.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
ProjetOptimRO.tex