ok
modif
ok
Revert "modif"

This reverts commit f9c7e9b7b79ea5ccb32aa1e8085a339d4c2c9358.
ok
Merge branch 'master' of ssh://git@github.com/ivanmasson/eclipse.git