oops.. last commit was incomplete !
Authored by: bruno.herbelin 2010-07-31
Parent: [r190]
Child: [r192]