Quelques améliorations / simplifications / nettoyages dans le style.
authorBenoît Pin <pin@cri.ensmp.fr>
Thu, 24 Oct 2013 13:31:37 +0000 (15:31 +0200)
committerBenoît Pin <pin@cri.ensmp.fr>
Thu, 24 Oct 2013 13:31:37 +0000 (15:31 +0200)

No differences found