merge -r 411
authorAlina Quereilhac <alina.quereilhac@inria.fr>
Wed, 17 Aug 2011 16:09:25 +0000 (18:09 +0200)
committerAlina Quereilhac <alina.quereilhac@inria.fr>
Wed, 17 Aug 2011 16:09:25 +0000 (18:09 +0200)

Trivial merge