Refine the definitions.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Tue, 16 Oct 2018 10:49:03 +0000 (12:49 +0200)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Tue, 16 Oct 2018 10:49:03 +0000 (12:49 +0200)
commit6ec0df371d96fde117e6e47c3075bd58eda21684
treee63ce14c474951cec43751ce261bbf3d18abb414
parent3d5196fd7a4c2a11701fe170155004a86259c505
Refine the definitions.

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