Code cleanups.
[TD_SE.git] / verrou /
2018-03-03  Jérôme Benoitfd verrou course code.