Merge branch 'platal-0.9.16'
authorVincent Zanotti <vincent.zanotti@polytechnique.org>
Fri, 4 Apr 2008 08:47:54 +0000 (10:47 +0200)
committerVincent Zanotti <vincent.zanotti@polytechnique.org>
Fri, 4 Apr 2008 08:47:54 +0000 (10:47 +0200)

Trivial merge